@misc{multiboot,
	author = "Free Software Foundation",
	title = {{Multiboot Specification version 0.6.96}},
	year = "1995-2009",
	howpublished = "\url{http://www.gnu.org/software/grub/manual/multiboot/multiboot.html}",
	note = "[Online; accessed 20-June-2013]"
}

@misc{wiki:virtualization,
	author = "Wikipedia",
	title = {{Virtualization --- Wikipedia{,} The Free Encyclopedia}},
	year = "2013",
	howpublished = "\url{http://en.wikipedia.org/w/index.php?title=Virtualization}",
	note = "[Online; accessed 19-June-2013]"
}

@misc{wiki:unix6,
	author = "Wikipedia",
	title = {{Version 6 Unix --- Wikipedia{,} The Free Encyclopedia}},
	year = "2013",
	howpublished = "\url{http://en.wikipedia.org/w/index.php?title=Version_6_Unix}",
	note = "[Online; accessed 1-July-2013]"
}

@misc{wiki:intel:5:series,
	author = "Wikipedia",
	title = {{Intel 5 Series --- Wikipedia{,} The Free Encyclopedia}},
	year = "2013",
	howpublished = "\url{http://en.wikipedia.org/w/index.php?title=Intel_5_Series}",
	note = "[Online; accessed 21-August-2013]"
}

@misc{gcc,
	author = "Free Software Foundation",
	title = "{GCC, the GNU Compiler Collection}",
	year = "2013",
	howpublished = "\url{http://gcc.gnu.org}",
	note = "[Online; accessed 20-June-2013]"
}

@misc{SPARK2014:Announcement,
	author = "Yannick Moy",
	title = "{Future Version of SPARK Will Be Based on Ada 2012}",
	year = "2013",
	howpublished = "\url{http://www.open-do.org/2012/11/30/future-version-of-spark-will-be-based-on-ada-2012/}",
	note = "[Online; accessed 20-June-2013]"
}

@misc{GNAT:manual,
	author = "AdaCore",
	title = {{GNAT Reference Manual}},
	year = "2007",
	howpublished = "\url{http://gcc.gnu.org/onlinedocs/gnat_rm/index.html}",
	note = "[Online; accessed 28-June-2013]"
}

@misc{xv6,
	author = "MIT",
	title = {{Xv6, a simple Unix-like teaching operating system}},
	howpublished = "\url{http://pdos.csail.mit.edu/6.828/2012/xv6.html}",
	note = "[Online; accessed 01-July-2013]"
}

@misc{libsparkcrypto,
	author = "Alexander Senier",
	institution = "secunet Security Networks AG",
	title = {{libsparkcrypto, A cryptographic library implemented in SPARK}},
	howpublished = "\url{http://senier.net/libsparkcrypto/}",
	note = "[Online; accessed 01-July-2013]"
}

@misc{gpl,
	author = "Free Software Foundation",
	title = "{GNU General Public License}",
	year = 2007,
	howpublished = "\url{https://www.gnu.org/licenses/gpl.html}",
	note = "[Online; accessed 30-July-2013]"
}

@misc{make,
	author = "Free Software Foundation",
	title = "{GNU Make}",
	howpublished = "\url{https://www.gnu.org/software/make/}",
	note = "[Online; accessed 06-August-2013]"
}

@misc{xmlada,
	author = "AdaCore",
	title = {{XML/Ada, a full XML suite for Ada}},
	howpublished = "\url{http://libre.adacore.com/tools/xmlada/}",
	note = "[Online; accessed 06-August-2013]"
}

@misc{jargonfile,
	author = "Eric S. Raymond",
	title = {{The Jargon File, version 4.4.8}},
	howpublished = "\url{http://catb.org/jargon/}",
	note = "[Online; accessed 8-August-2013]"
}

@misc{NOVA,
	author = {Udo Steinberg},
	title = "{NOVA Microhypervisor}",
	howpublished = "\url{https://github.com/IntelLabs/NOVA}",
	note = "[Online; accessed 8-August-2013]"
}

@misc{cryptoeprint:2005:271,
	author = {Dag Arne Osvik and Adi Shamir and Eran Tromer},
	title = "{Cache attacks and Countermeasures: the Case of AES}",
	howpublished = {Cryptology ePrint Archive, Report 2005/271},
	year = {2005},
	note = {\url{http://eprint.iacr.org/}},
}

@misc{bochs,
	author = "The Bochs Project",
	title = {{bochs: The Open Source IA-32 Emulation Project}},
	howpublished = "\url{http://bochs.sourceforge.net/}",
	year = {2001-2013},
	note = "[Online; accessed 21-August-2013]"
}

@article{rushby1981,
	author = {Rushby, J. M.},
	title = "{Design and Verification of Secure Systems}",
	journal = {SIGOPS Oper. Syst. Rev.},
	issue_date = {December 1981},
	volume = {15},
	number = {5},
	month = dec,
	year = {1981},
	issn = {0163-5980},
	pages = {12--21},
	numpages = {10},
	url = {http://doi.acm.org/10.1145/1067627.806586},
	doi = {10.1145/1067627.806586},
	acmid = {806586},
	publisher = {ACM},
	address = {New York, NY, USA}
}

@article{Lampson:1991:ADS:121133.121160,
	author = {Lampson, Butler and Abadi, Mart\'{\i}n and Burrows, Michael and Wobber, Edward},
	title = {Authentication in distributed systems: theory and practice},
	journal = {SIGOPS Oper. Syst. Rev.},
	issue_date = {Oct. 1991},
	volume = {25},
	number = {5},
	month = sep,
	year = {1991},
	issn = {0163-5980},
	pages = {165--182},
	numpages = {18},
	url = {http://doi.acm.org/10.1145/121133.121160},
	doi = {10.1145/121133.121160},
	acmid = {121160},
	publisher = {ACM},
	address = {New York, NY, USA}
}

@article{Liedtke:1996:TRM:234215.234473,
	author = {Liedtke, Jochen},
	title = {Toward real microkernels},
	journal = {Commun. ACM},
	issue_date = {Sept. 1996},
	volume = {39},
	number = {9},
	month = sep,
	year = {1996},
	issn = {0001-0782},
	pages = {70--77},
	numpages = {8},
	url = {http://doi.acm.org/10.1145/234215.234473},
	doi = {10.1145/234215.234473},
	acmid = {234473},
	publisher = {ACM},
	address = {New York, NY, USA},
}

@article{intel:mp,
	author = {{Intel Corporation}},
	title = {{MultiProcessor Specification, Version 1.4}},
	year = {1997},
	month = may,
	note = {\url{http://www.intel.com/design/archives/processors/pro/docs/242016.htm}}
}

@article{Drepper07whatevery,
	author = {Ulrich Drepper},
	title = "{What Every Programmer Should Know About Memory}",
	url = {http://people.redhat.com/drepper/cpumemory.pdf},
	year = {2007},
	month = nov
}

@article{Mueller:1995:CSS:216633.216677,
	author = {Mueller, Frank},
	title = "{Compiler Support for Software-Based Cache Partitioning}",
	journal = {SIGPLAN Not.},
	issue_date = {Nov. 1995},
	volume = {30},
	number = {11},
	month = nov,
	year = {1995},
	issn = {0362-1340},
	pages = {125--133},
	numpages = {9},
	url = {http://doi.acm.org/10.1145/216633.216677},
	doi = {10.1145/216633.216677},
	acmid = {216677},
	publisher = {ACM},
	address = {New York, NY, USA},
}

@article{Chapman:2000:IES:369264.369270,
	author = {Chapman, Roderick},
	title = "{Industrial experience with SPARK}",
	journal = {ACM SIGAda Ada Letters},
	issue_date = {Dec., 2000},
	volume = {XX},
	number = {4},
	month = dec,
	year = {2000},
	issn = {1094-3641},
	pages = {64--68},
	numpages = {5},
	url = {http://doi.acm.org/10.1145/369264.369270},
	doi = {10.1145/369264.369270},
	acmid = {369270},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {Ada, DO-178B, ITSEC E6, SPARK, def. stan. 00-55, industrial case studies, proof, static analysis},
}

@article{VMware:virtualization,
	author = {VMware},
	title = {{Understanding Full Virtualization, Paravirtualization, and Hardware Assist}},
	month = oct,
	year = {2007},
	url = {http://www.vmware.com/files/pdf/VMware_paravirtualization.pdf},
	publisher = {VMware},
	address = {Paolo Alto, CA, USA}
}

@inproceedings{Steinberg:2010:NMS:1755913.1755935,
	author = {Steinberg, Udo and Kauer, Bernhard},
	title = {{NOVA: A Microhypervisor-Based Secure Virtualization Architecture}},
	booktitle = {Proceedings of the 5th European conference on Computer systems},
	series = {EuroSys '10},
	year = {2010},
	isbn = {978-1-60558-577-2},
	location = {Paris, France},
	pages = {209--222},
	numpages = {14},
	url = {http://doi.acm.org/10.1145/1755913.1755935},
	doi = {10.1145/1755913.1755935},
	acmid = {1755935},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {architecture, virtualization},
}

@inproceedings{berghofer:OASIcs:2012:3587,
	author = {Stefan Berghofer},
	title =	{{Verification of Dependable Software using SPARK and Isabelle}},
	booktitle =	{6th International Workshop on Systems Software Verification},
	pages =	{15--31},
	series = {OpenAccess Series in Informatics (OASIcs)},
	ISBN = {978-3-939897-36-1},
	ISSN = {2190-6807},
	year = {2012},
	volume = {24},
	editor = {J{\"o}rg Brauer and Marco Roveri and Hendrik Tews},
	publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
	address = {Dagstuhl, Germany},
	URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3587},
	URN = {urn:nbn:de:0030-drops-35876},
	doi = {http://dx.doi.org/10.4230/OASIcs.SSV.2011.15},
	annote = {Keywords: Software/Program Verification}
}

@inproceedings{Klein_EHACDEEKNSTW_09,
	publisher = {ACM},
	doi = {10.1145/1629575.1629596},
	author = {Gerwin Klein and Kevin Elphinstone and Gernot Heiser and June Andronick and David Cock and
              Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and
              Michael Norrish and Thomas Sewell and Harvey Tuch and Simon Winwood},
	month = {Oct},
	video = {http://www.sigops.org/sosp/sosp09/videos/15_gerwin_klein.mov},
	year = {2009},
	title = {{seL4}: Formal Verification of an {OS} Kernel},
	booktitle = {22nd SOSP},
	pages = {207--220},
	address = {Big Sky, MT, USA}
}

@inproceedings{xtratum:2009a,
	address = {Dresden (Germany)},
	author = {Miguel Masmano and Ismael Ripoll and Alfons Crespo and J.J. Metge},
	title = {{XtratuM: a Hypervisor for Safety Critical Embedded Systems}},
	booktitle = {Eleventh Real-Time Linux Workshop},
	month = sept,
	year = 2009
}

@inproceedings{Liedtke:1997:OCP:523983.828369,
	author = {Liedtke, Jochen and Haertig, Hermann and Hohmuth, Michael},
	title = {{OS-Controlled Cache Predictability for Real-Time Systems}},
	booktitle = {Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)},
	series = {RTAS '97},
	year = {1997},
	isbn = {0-8186-8016-4},
	pages = {213--},
	url = {http://dl.acm.org/citation.cfm?id=523983.828369},
	acmid = {828369},
	publisher = {IEEE Computer Society},
	address = {Washington, DC, USA},
}

@inproceedings{Wu:2012:WHH:2362793.2362802,
	author = {Wu, Zhenyu and Xu, Zhang and Wang, Haining},
	title = {{Whispers in the Hyper-space: High-speed Covert Channel Attacks in the Cloud}},
	booktitle = {Proceedings of the 21st USENIX conference on Security symposium},
	series = {Security'12},
	year = {2012},
	location = {Bellevue, WA},
	pages = {9--9},
	numpages = {1},
	url = {http://dl.acm.org/citation.cfm?id=2362793.2362802},
	acmid = {2362802},
	publisher = {USENIX Association},
	address = {Berkeley, CA, USA},
}

@book{Nipkow-Paulson-Wenzel:2002,
  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
  title		= {Isabelle/HOL --- A Proof Assistant for Higher-Order Logic},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= 2283,
  year		= 2002
}

@book{SKPP,
	author = {{National Security Agency}},
	title = {{U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness}},
	year = 2007,
	month = jun,
	publisher = "National Information Assurance Partnership",
}

@book{barnesSPARK,
	author = {Barnes, John},
	title = "{SPARK - The Proven Approach to High Integrity Software}",
	year = 2012,
	month = jul,
	isbn = {9780957290518},
	publisher = "Altran Praxis",
	address = "Bath, UK"
}

@book{RavenSPARK,
	author = "SPARK Team",
	title = {{SPARK - The SPARK Ravenscar Profile}},
	year = 2012,
	month = oct,
	publisher = "Altran Praxis",
	address = "Bath, UK"
}

@book{Ada2012,
	author = "Ada Rapporteur Group (ARG)",
	title = "Ada Reference Manual. Language and Standard Libraries
			 - International Standard ISO/IEC 8652:2012 (E)",
	publisher = "ISO",
	year = "2012",
	note = "\url{http://www.ada-auth.org/standards/ada12.html}"
}

@book{IntelSDM,
	author = {{Intel Corporation}},
	title = {{Intel\textsuperscript{\textregistered} 64 and IA-32 Architectures Software Developer's Manual}},
	year = {2012},
	month = aug,
	note = {\url{http://www.intel.com/content/www/us/en/processors/architectures-software-developer-manuals.html}}
}

@book{IntelVTd,
	author = {{Intel Corporation}},
	title = {{Intel\textsuperscript{\textregistered} Virtualization Technology for Directed I/O}},
	year = {2011},
	month = feb,
	note = {\url{http://www.intel.com/content/dam/www/public/us/en/documents/product-specifications/vt-directed-io-spec.pdf}}
}

@book{Herlihy:2008:AMP:1734069,
	author = {Herlihy, Maurice and Shavit, Nir},
	title = {The Art of Multiprocessor Programming},
	year = {2008},
	isbn = {0123705916, 9780123705914},
	publisher = {Morgan Kaufmann Publishers Inc.},
	address = {San Francisco, CA, USA}
}

@book{LightPinkBook,
	author = {Gligor D. Virgil},
	title = {{A Guide to Understanding Covert Channel Analysis of Trusted Systems}},
	month = nov,
	year = 1993,
	publisher = {National Computer Security Center}
}

@book{SPARK,
	author = "SPARK Team",
	title = {{SPARK - The SPADE Ada Kernel (including RavenSPARK)}},
	year = 2012,
	month = may,
	publisher = "Altran Praxis",
	address = "Bath, UK"
}

@masterthesis{CryptoCloud,
	author = {Hugo A. W. Ideler},
	title = {Cryptography as a service in a cloud computing environment},
	year = 2012,
	month = dec
}

@unpublished{TAU0,
	author = {Robert Dorn and Alexander Senier},
	title = "{Tau0: An Approach to Dynamic Hard Real-Time Separation Kernels}",
	note = {Unpublished Report}
}
